Minerva Lectures 2012 - Ian Agol Talk 1: The Virtual Haken Conjecture: 3-Manifold Topology